COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ailog[e85,jmc]		AI and logic - for 1985 IJCAI
C00004 ENDMK
C⊗;
ailog[e85,jmc]		AI and logic - for 1985 IJCAI

AI and mathematical logic have many connections.  Here are some
of them.

Programs with common sense - 1958

Automatic theorem proving - Logic theorist, Wang, Davis-Putnam,
resolution.

Situation calculus - STRIPS

The tools we haven't yet much used
	higher order logic
	set theory - heavy duty set theory, comprehension schema
	modalities - modality si, modal logic no

Reification

Logic programming

Half-assed logic

Non-monotonic logic and reasoning

Irrelevant remark: Can we make set theory consistent by allowing any
property to define a set unless it's abnormal?  We are then asking
for maximal consistent subsets of the inconsistent set theory.

Applications:
	the logic level, ascribing

algorithm = logic + control